<?php
include ("./library.php");
$_SESSION[user] = "";
session_destroy();
        echo "<script>alert('Logged out')</script>";
        echo "<script>parent.location.reload()</script>";
?>
